Test Generation Driven by User-defined Fault Models
نویسندگان
چکیده
In this paper, we consider the problem of test derivation from a specification FSM, assuming that all possible implementation FSMs are submachines of some nondeterministic FSM. The latter represents a restricted class of faults defined by the user. The state number in an implementation may exceed that of the specification. We present a method for test generation that can deliver shorter tests than the other existing methods. The method is also more flexible than the traditional FSM-based methods, which embody a universal fault model defined only by a state number.
منابع مشابه
Specification and Design of a New Memory Fault Simulator
This paper presents a new Fault Simulator architecture for RAM memories. The key features of the proposed tool are: 1) user-definable fault models, test algorithm, and memory architecture; 2) very fast simulation algorithm; 3) ability to compute the coverage of any provided test sequence w.r.t. a user-defined set of fault models, and to eliminate redundant operations; 4) assessment of the power...
متن کاملFeedback-Directed Model-Based GUI Test Case Generation
Title of dissertation: Feedback-Directed Model-Based GUI Test Case Generation Xun Yuan, Doctor of Philosophy, 2008 Dissertation directed by: Professor Atif M. Memon Department of Computer Science Most of today’s software users interact with the software through a graphical user interface (GUI), which is a representative of the broader class of event-driven software (EDS). As the correctness of ...
متن کاملToward Automatic Test Pattern Generation for VHDL Descriptions
This paper describes an approach for defining a model for the VHDL descriptions which can be used for test generation purpose. The VHDL description can be transformed to this model by semantic preserving transformations without lost of information needed for test generation purpose. Together with the model definition a unified fault model is defined which can be easily related to well known fau...
متن کاملEvent-Coverage and Weight based Method for Test Suite Prioritization
There are many challenges in testing of Graphical User Interface (GUI) applications due to its event driven nature and infinite input domain. Testing each and every possible combination of input require creating number of test cases to satisfy the adequacy criteria of GUI testing. It is not possible to test each and every test case within specified time frame. Therefore it is important to assig...
متن کاملATPG for Reversible Circuits using Technology-Related Fault Models
We address the problem of test set generation and test set reduction, to first detect, and later localize faults occurring in reversible circuits. Reversible Computation has high promise of low power consumption. Some new fault models are first presented here. An explanation of the new fault models is made based on a physical realization representing the state of the art in the reversible CMOS ...
متن کامل